Algebraic normal form - PDFSEARCH.IO - Document Search Engine

Algebraic normal form
Results: 27

#	Item
21	Microsoft Word - ijcai05d.doc Add to Reading List Source URL: ai.jpl.nasa.gov Language: English - Date: 2007-06-28 00:31:02 O0 Control theory Disjunctive normal form Economic model Logic Science Mathematics Algebraic logic Boolean algebra Adnan Darwiche
22	Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms Jean-Guillaume Dumas1 , Frank Heckenbach2 , David Saunders3 , and Volkmar Welker4 1 2 Add to Reading List Source URL: ljk.imag.fr Language: English - Date: 2010-03-30 05:49:30 Matrix theory Algebraic topology Topological spaces Matrices Smith normal form Simplicial homology Simplicial complex Matrix Rank Algebra Mathematics Linear algebra
23	[removed]A Normal Form for the Free Left Distributive Law. Patrick DEHORNOY Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2005-09-07 09:59:36
24	A useful algebraic system of statistical models Ben Klemens∗ May 13, 2014 Abstract This paper proposes a single form for statistical models that accommodates Add to Reading List Source URL: ben.klemens.org Language: English - Date: 2014-05-13 13:45:39 Estimation theory Maximum likelihood Likelihood-ratio test Statistical model Normal distribution Likelihood function Akaike information criterion Generalized linear model Ordinary least squares Statistics Statistical theory Regression analysis
25	Classification of Finitely Generated Abelian Groups The proof given below uses vector space techniques (Smith Normal Form) and generalizes from abelian groups to “modules over PIDs” (essentially generalized vector spaces). Smith Normal Form is a reduced form similar to the row reduced matrices encountered in Add to Reading List Source URL: www.cs.uleth.ca Language: English - Date: 2000-11-03 01:05:21 Algebraic structures Geometric group theory Finitely-generated abelian group Abelian group Generating set of a group Group Finitely-generated module Free abelian group Abstract algebra Algebra Group theory
26	An Introduction to Binary Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-10-04 19:51:22 Logic Propositional calculus Semantics Algebraic logic Formal methods Tautology Canonical form Truth table Conjunctive normal form Mathematics Mathematical logic Boolean algebra
27	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic